$\forall$$L$:Realizer List. ($\forall$$A$,$B$$\in$$L$.$A$ $\parallel$ $B$) $\Rightarrow$ ($\forall$$A$$\in$$L$. R{-}Feasible($A$)) $\Rightarrow$ R{-}Feasible($\oplus$($L$))